$\forall$$r$:$\mathbb{N}$, $L$:Top List. $\parallel$nth\_tl($r$;$L$)$\parallel$ $=$ if $r$$<_{2}\parallel$$L$$\parallel\rightarrow$ $\parallel$$L$$\parallel-$$r$ else 0 fi $\in$ $\mathbb{Z}$